#include <pthread.h>
#include <libxml/parser.h>
#include <uuid/uuid.h>
#include <string.h>
#include <time.h>

const char * configuration_file = "../config.xml";

int service_deploy(char * serviceName, char * serviceWsdl, char * physicalPath,
		char *uuid);

int service_undeploy(char * serviceName, char *uuid);

int service_set_uuid(char **uuid);

int timeval_subtract(struct timeval *result, struct timeval *x,
		struct timeval *y);

int config_get_string(char ** value, const char * name);

int config_get_int(int * value, const char * name);

int get_simple_name(char ** target);

int get_time_string(char **dateTime);
